[Mini-OS] Make wake_up callback-safe
authorKeir Fraser <keir.fraser@citrix.com>
Sat, 24 Nov 2007 13:27:59 +0000 (13:27 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Sat, 24 Nov 2007 13:27:59 +0000 (13:27 +0000)
commit984c5a39ecf1cbb6fec01b602fa3b19891aee117
treefd9f7d8274b3ed0ce17dd9bfcee76888b31360bc
parent00e209e0591381489f530d39a496ba9f9fb7ab86
[Mini-OS] Make wake_up callback-safe

As it may compete with event handlers waking wait queues, wake_up
needs to be callback-safe.

Signed-off-by: Samuel Thibault <samuel.thibault@citrix.com>
extras/mini-os/include/wait.h